English translation for "conjunctive normal form"

合取范式
合榷式

Related Translations:

conjunctive:  adj.1.连结(着)的；【数学】契合的，合取的；【语法】(有)连接(作用)的。2.【计算机】逻辑乘法的。n.【语法】连词。adv.-ly

conjunctive clause:  合取子句

conjunctive phrase:  连接短语

conjunctive tissue:  结缔组织, 结缔织连接组织

conjunctive ring:  结膜环

conjunctive symbiosis:  【生物学】合体共生。

conjunctive name:  连接名称

principal conjunctive:  主合取范式

conjunctive adverb:  连接副词

conjunctive model:  联合模型

Example Sentences:

1.

Based on paper [ 1 ] and [ 2 ] , this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally 摘要在文[ 1 ]和文[ 2 ]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法，并实现了多个命题公式主范式的同时形式化输出。

Similar Words：

"conjunctive goal in deduction" English translation, "conjunctive matrices" English translation, "conjunctive model" English translation, "conjunctive mood" English translation, "conjunctive name" English translation, "conjunctive ordering" English translation, "conjunctive parenchyma" English translation, "conjunctive path" English translation, "conjunctive phrase" English translation, "conjunctive query" English translation